R{-}plus($A$;$B$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $x$ = $A$ in let $y$ = $B$ in if Rnone?($x$) then $y$ if Rnone?($y$) then $x$ else $x$ $\oplus$ $y$ fi